A Formal Operational Semantics for SOFL
نویسندگان
چکیده
SOFL Structured Object Based Formal Language is a formal language and method for practical systems development As a language it integrates data ow diagrams VDM SL and Petri nets to provide a graph ical and textural formal notation for speci cation con struction Previous publications introducing SOFL are based on its informal semantics In this paper we pro vide a formal operational semantics which gives a rm foundation for consistent understanding and applica tion of SOFL in practical systems development De velopment of the semantics and application of SOFL to practical systems have led to some changes in the original de nitions This formal semantics will serve as a rm foundation for building an e ective support environment for SOFL
منابع مشابه
The Semantics of Extended SOFL
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension allows powerful object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early design phases. This paper presents the semantics for this extended SOFL and further demonstra...
متن کاملAn Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method for software development. SOFL integrates modeling techniques from VDM (for specifying system component state) and data flow diagrams with Petri nets (for specifying system behaviours and interaction). To support the s...
متن کاملSOFL: A Formal Engineering Methodology for Industrial Applications
Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into established industrial software processes, their application requires significant abstraction and mathematical skills, and existing tools do not satisfactorily support the entire formal software development process. We have proposed a language called SOFL (Structured-Object-based...
متن کاملA Supporting Toolfor Syntactic Analysis ofSOFL
SOFL formal specifications have been proved to be useful and expressive enough in describing functional requirements for software development. Based on SOFL formal specifications, many techniques have been proposed to provide us with effective solutions for software verification and validation. To support these techniques, a tool support for analysis of specifications is necessary. However, suc...
متن کاملAn Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL
One of the primary concerns in developing computer embedded safety-critical systems is how to develop quality software. Software must fulll its functional requirements and must not contribute to the violation of safety properties of the entire system. To this end, capturing error free and satisfactory functional requirements is crucial before proceeding to the subsequent development phases. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997